Computer algebra systems - PDFSEARCH.IO - Document Search Engine

Computer algebra systems
Results: 620

#	Item
561	Josef Kallrath Scientific Consultant GAMS Courses 2014 – B&A: Modeling and Optimization with GAMS – Summary Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-02-18 06:00:05 Operations research Numerical software Computer algebra systems BARON Algebraic modeling language MINOS Linear programming AMPL Modeling language Numerical analysis Mathematical optimization Mathematical software
562	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:15:23 Computability theory Lambda calculus Logic in computer science Combinatory logic Sigma-algebra Mathematics Mathematical logic Theoretical computer science
563	FOR IMMEDIATE RELEASE Softmath announces Algebrator™ 3.0 Mathematics Software Add to Reading List Source URL: www.softmath.com Language: English - Date: 2007-12-01 19:00:00 Mathematics Mathematics education Computer algebra systems Mathematical optimization Operations research Comparison of computer algebra systems Mathomatic Software Algebra Equation
564	Astronomy & Astrophysics Add to Reading List Source URL: www.aoc.nrao.edu Language: English - Date: 2003-08-08 12:10:58 Analytic geometry Geodesy Coordinate systems Navigation Computer graphics FITS Cartesian coordinate system Euclidean vector Matrix Mathematics Algebra Geometry
565	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
566	Microsoft Word[removed]Graphic Calculators Year 11_2014 students Add to Reading List Source URL: www.smcc.qld.edu.au Language: English - Date: 2013-11-28 19:11:37 Programmable calculators Computer algebra systems Mathematics Media technology Calculators TI-Nspire series Software calculator Graphing calculators Office equipment Technology
567	Microsoft Word[removed]Graphic Calculators Year 8_ 9 and[removed]students Add to Reading List Source URL: www.smcc.qld.edu.au Language: English - Date: 2013-11-28 19:11:36 Mathematics Office equipment Calculators Media technology Computer algebra systems TI-Nspire series TI-30 Scientific calculator Software calculator Graphing calculators Technology Programmable calculators
568	SmartDO + A Smart Design Optimization System Compact.Versatile.Cost-Effective Add to Reading List Source URL: www.fea-optimization.com Language: English - Date: 2011-04-10 05:59:27 Product lifecycle management Applied mathematics Mathematics Computer algebra systems Computer-aided engineering Shape optimization Linear programming AMPL Computer-aided technologies Mathematical optimization Operations research Information technology management
569	Absoft & Visual Numerics Announce First IMSL Numerical Library Qualified for Microsoft’s HPC Platform Add to Reading List Source URL: www.absoft.com Language: English - Date: 2013-05-29 09:32:42 Numerical software Array programming languages Windows Server IMSL Numerical Libraries Computer algebra systems Windows HPC Server Computer cluster Mathematica Fortran Computing Software Mathematical software
570	STAT243: Introduction to Probability and Statistics I Portland State, Winter 2013 Instructor Add to Reading List Source URL: web.pdx.edu Language: English - Date: 2013-01-05 21:29:26 Programmable calculators Computer algebra systems Graphing calculators Educational technology MyMathLab Online education TI-89 series Minitab SAT Education Evaluation Knowledge

UPDATE